bounded above sets